ideal kernel of a homomorphism

同态的理想核